Animators for Generated Programming Environments
نویسنده
چکیده
Animation of execution is a necessary feature of source level debuggers We present a framework where animators are generated from existing algebraic speci cations of interpreters To this end a pattern matching mechanism is used in conjunction with origin tracking a generic tracing technique The generation of animators is illustrated using an example language named CLaX a Pascal relative We study how our approach can be extended to the generation of source level debuggers and algorithmic debuggers from speci cations of interpreters
منابع مشابه
Automatic Generation of Language-based Tools using LISA system
Many tools have been built in the past years, based on the different formal methods and processing different parts of language specification, such as: scanner generators, parser generators and compiler generators. The automatic generation of a complete compiler was the primary goal of such systems. However, researchers soon recognized the possibility that many other language-based tools could b...
متن کاملAutomatic generation of language-based tools using the LISA system
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler generators). The automatic generation of a complete compiler was the primary goal of such systems, but researchers recognized the possibility that many other language-based tools could be generated from formal language spe...
متن کاملComputer - Generated Three-dimensional Movies
Animated movies for educational presentations of scientific concepts are increasingly interesting a small but dedicated number of scientists, engineers, educators, and animators. The' value of animated movies for presenting complicated concepts has long been recognized. Now a new method for producing animated movies has been devised, and has led to the present renewed interest. Previously, anim...
متن کاملGenerative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurring definition of new languages raises the problem of the definition of support tools such as editor, simulator, compiler, etc. In this paper we propose generative technologies that have been designed to ease the develo...
متن کاملMathematical model for dynamic cell formation in fast fashion apparel manufacturing stage
This paper presents a mathematical programming model for dynamic cell formation to minimize changeover-related costs (i.e., machine relocation costs and machine setup cost) and inter-cell material handling cost to cope with the volatile production environments in apparel manufacturing industry. The model is formulated through findings of a comprehensive literature review. Developed model is val...
متن کامل